1. Collected works
Author: Gغodel, Kurt.
Library: Library of Mofid University (Qom)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA9
.
G5313
1986
2. On formally undecidable propositions of Principia mathematica and related systems
Author: Gغodel, Kurt.
Library: Library of Mofid University (Qom)
Subject: ، Gغodel's theorem
Classification :
QA248
.
G573
1992
